Reals X {
    shape = Circle { }
}
